#include <iostream>
#include <cstring>
#include <algorithm>
#include <cstdio>
#include <vector>

using namespace std;

const int N = 110;


int main()
{
	int a, b, c;
	cin >> a >> b >> c;
	if((a + b + c) % 17 == 0) puts("YES");
	else puts("NO");
	return 0;
}